Nuprl Definition : rcv?
0,22
postcript
pdf
rcv?(
e
) == ecase1(
e
;
info
;
i
.false
;
l
,
e'
.true
)
latex
clarification:
rcv?(
info
;
e
) == ecase1(
e
;
info
;
i
.false
;
l
,
e'
.true
)
latex
Definitions
true
,
false
,
ecase1(
e
;
info
;
i
.
f
(
i
);
l
,
e'
.
g
(
l
;
e'
))
,
rcv?(
e
)
FDL editor aliases
rcv?
origin
;l,e'.true)
;l,e'.true) ;l,e'.true)
;l,e'.true)